$\forall$${\it es}$:ES, $e$:E, $i$:Id. loc{-}on{-}path(${\it es}$;$i$;[$e$]) $\Leftarrow\!\Rightarrow$ (loc($e$) = $i$)